| Name | Version | Summary | date |
|---|---|---|---|
| py-tree-sitter-spthy | 1.2.2 | Tree-sitter parser for Spthy language (Tamarin Prover) | 2025-10-28 11:46:09 |
| pddl2hoa | 0.1.4 | Convert PDDL planning problems to HOA (Hanoi Omega Automata) format | 2025-07-30 16:14:01 |
| hour | day | week | total |
|---|---|---|---|
| 36 | 386 | 7950 | 333388 |